node(1).
node(2).
node(3).
node(4).
node(5).
node(6).
node(7).
node(8).
node(9).
node(10).
node(11).
node(12).
node(13).
node(14).
node(15).
node(16).
node(17).
node(18).
node(19).
node(20).
node(21).
node(22).
node(23).
node(24).
node(25).
node(26).
node(27).
node(28).
node(29).
node(30).
node(31).
node(32).
node(33).
node(34).
node(35).
node(36).
node(37).
node(38).
node(39).
node(40).
node(41).
node(42).
node(43).
node(44).
node(45).
node(46).
node(47).
node(48).
node(49).
node(50).
node(51).
node(52).
node(53).
node(54).
node(55).
node(56).
node(57).
node(58).
node(59).
node(60).
node(61).
node(62).
node(63).
node(64).
node(65).
node(66).
node(67).
node(68).
node(69).
node(70).
node(71).
node(72).
node(73).
node(74).
node(75).
node(76).
node(77).
node(78).
node(79).
node(80).
node(81).
node(82).
node(83).
node(84).
node(85).
node(86).
node(87).
node(88).
node(89).
node(90).
node(91).
node(92).
node(93).
node(94).
node(95).
node(96).
node(97).
node(98).
node(99).
node(100).
node(101).
node(102).
node(103).
node(104).
node(105).
node(106).
node(107).
node(108).
node(109).
node(110).
node(111).
node(112).
node(113).
node(114).
node(115).
node(116).
node(117).
node(118).
node(119).
node(120).
node(121).
node(122).
node(123).
node(124).
node(125).
node(126).
node(127).
node(128).
node(129).
node(130).
link(1,2) :- #0.382.
link(2,1) :- #0.259.
link(1,7) :- #0.024.
link(7,1) :- #0.683.
link(1,9) :- #0.092.
link(9,1) :- #0.437.
link(1,10) :- #0.95.
link(10,1) :- #0.949.
link(1,14) :- #0.224.
link(14,1) :- #0.675.
link(1,19) :- #0.779.
link(19,1) :- #0.563.
link(1,42) :- #0.391.
link(42,1) :- #0.799.
link(1,61) :- #0.056.
link(61,1) :- #0.518.
link(1,67) :- #0.291.
link(67,1) :- #0.684.
link(1,83) :- #0.359.
link(83,1) :- #0.783.
link(1,91) :- #0.561.
link(91,1) :- #0.927.
link(1,101) :- #0.445.
link(101,1) :- #0.87.
link(1,103) :- #0.545.
link(103,1) :- #0.863.
link(1,111) :- #0.905.
link(111,1) :- #0.732.
link(1,115) :- #0.305.
link(115,1) :- #0.207.
link(1,122) :- #0.637.
link(122,1) :- #0.424.
link(1,124) :- #0.319.
link(124,1) :- #0.424.
link(1,126) :- #0.961.
link(126,1) :- #0.248.
link(1,127) :- #0.609.
link(127,1) :- #0.184.
link(2,23) :- #0.464.
link(23,2) :- #0.786.
link(2,53) :- #0.941.
link(53,2) :- #0.681.
link(2,55) :- #0.127.
link(55,2) :- #0.179.
link(2,69) :- #0.568.
link(69,2) :- #0.754.
link(2,70) :- #0.065.
link(70,2) :- #0.763.
link(2,93) :- #0.461.
link(93,2) :- #0.63.
link(2,97) :- #0.435.
link(97,2) :- #0.103.
link(2,108) :- #0.374.
link(108,2) :- #0.141.
link(2,128) :- #0.
link(128,2) :- #0.1.
link(3,4) :- #0.569.
link(4,3) :- #0.591.
link(3,5) :- #0.203.
link(5,3) :- #0.169.
link(3,16) :- #0.695.
link(16,3) :- #0.405.
link(3,42) :- #0.94.
link(42,3) :- #0.009.
link(3,51) :- #0.805.
link(51,3) :- #0.639.
link(3,68) :- #0.82.
link(68,3) :- #0.698.
link(3,79) :- #0.782.
link(79,3) :- #0.457.
link(3,81) :- #0.246.
link(81,3) :- #0.364.
link(3,96) :- #0.595.
link(96,3) :- #0.515.
link(3,98) :- #0.189.
link(98,3) :- #0.456.
link(3,99) :- #0.635.
link(99,3) :- #0.611.
link(3,101) :- #0.774.
link(101,3) :- #0.365.
link(3,112) :- #0.488.
link(112,3) :- #0.059.
link(3,114) :- #0.549.
link(114,3) :- #0.269.
link(3,127) :- #0.474.
link(127,3) :- #0.504.
link(4,12) :- #0.406.
link(12,4) :- #0.354.
link(4,23) :- #0.181.
link(23,4) :- #0.743.
link(4,30) :- #0.991.
link(30,4) :- #0.953.
link(4,34) :- #0.591.
link(34,4) :- #0.805.
link(4,39) :- #0.125.
link(39,4) :- #0.435.
link(4,44) :- #0.606.
link(44,4) :- #0.76.
link(4,45) :- #0.299.
link(45,4) :- #0.388.
link(4,46) :- #0.358.
link(46,4) :- #0.525.
link(4,53) :- #0.952.
link(53,4) :- #0.52.
link(4,67) :- #0.361.
link(67,4) :- #0.286.
link(4,72) :- #0.629.
link(72,4) :- #0.909.
link(4,94) :- #0.812.
link(94,4) :- #0.89.
link(4,115) :- #0.673.
link(115,4) :- #0.424.
link(4,119) :- #0.254.
link(119,4) :- #0.905.
link(5,9) :- #0.192.
link(9,5) :- #0.107.
link(5,13) :- #0.787.
link(13,5) :- #0.664.
link(5,33) :- #0.111.
link(33,5) :- #0.691.
link(5,39) :- #0.598.
link(39,5) :- #0.951.
link(5,52) :- #0.297.
link(52,5) :- #0.544.
link(5,58) :- #0.961.
link(58,5) :- #0.563.
link(5,72) :- #0.615.
link(72,5) :- #0.879.
link(5,83) :- #0.117.
link(83,5) :- #0.453.
link(5,94) :- #0.05.
link(94,5) :- #0.873.
link(5,104) :- #0.592.
link(104,5) :- #0.856.
link(5,115) :- #0.579.
link(115,5) :- #0.163.
link(5,127) :- #0.084.
link(127,5) :- #0.678.
link(5,130) :- #0.553.
link(130,5) :- #0.319.
link(6,9) :- #0.929.
link(9,6) :- #0.574.
link(6,17) :- #0.026.
link(17,6) :- #0.221.
link(6,20) :- #0.295.
link(20,6) :- #0.78.
link(6,28) :- #0.659.
link(28,6) :- #0.523.
link(6,30) :- #0.454.
link(30,6) :- #0.791.
link(6,40) :- #0.756.
link(40,6) :- #0.554.
link(6,50) :- #0.071.
link(50,6) :- #0.925.
link(6,55) :- #0.216.
link(55,6) :- #0.298.
link(6,72) :- #0.208.
link(72,6) :- #0.268.
link(6,78) :- #0.09.
link(78,6) :- #0.576.
link(6,85) :- #0.287.
link(85,6) :- #0.337.
link(6,92) :- #0.26.
link(92,6) :- #0.928.
link(6,97) :- #0.367.
link(97,6) :- #0.433.
link(6,130) :- #0.005.
link(130,6) :- #0.046.
link(7,9) :- #0.797.
link(9,7) :- #0.139.
link(7,10) :- #0.806.
link(10,7) :- #0.278.
link(7,12) :- #0.189.
link(12,7) :- #0.003.
link(7,19) :- #0.331.
link(19,7) :- #0.655.
link(7,49) :- #0.299.
link(49,7) :- #0.499.
link(7,54) :- #0.71.
link(54,7) :- #0.101.
link(7,61) :- #0.168.
link(61,7) :- #0.807.
link(7,80) :- #0.71.
link(80,7) :- #0.904.
link(7,82) :- #0.791.
link(82,7) :- #0.584.
link(7,89) :- #0.606.
link(89,7) :- #0.646.
link(7,91) :- #0.983.
link(91,7) :- #0.301.
link(7,100) :- #0.252.
link(100,7) :- #0.686.
link(7,123) :- #0.322.
link(123,7) :- #0.016.
link(8,42) :- #0.029.
link(42,8) :- #0.844.
link(8,44) :- #0.379.
link(44,8) :- #0.029.
link(8,46) :- #0.149.
link(46,8) :- #0.388.
link(8,67) :- #0.63.
link(67,8) :- #0.084.
link(8,70) :- #0.687.
link(70,8) :- #0.136.
link(8,76) :- #0.655.
link(76,8) :- #0.821.
link(8,82) :- #0.02.
link(82,8) :- #0.659.
link(8,87) :- #0.632.
link(87,8) :- #0.733.
link(8,96) :- #0.289.
link(96,8) :- #0.232.
link(8,104) :- #0.844.
link(104,8) :- #0.814.
link(8,106) :- #0.465.
link(106,8) :- #0.453.
link(8,111) :- #0.426.
link(111,8) :- #0.444.
link(8,120) :- #0.458.
link(120,8) :- #0.941.
link(8,123) :- #0.954.
link(123,8) :- #0.507.
link(8,126) :- #0.084.
link(126,8) :- #0.377.
link(9,15) :- #0.658.
link(15,9) :- #0.48.
link(9,19) :- #0.048.
link(19,9) :- #0.52.
link(9,20) :- #0.91.
link(20,9) :- #0.909.
link(9,35) :- #0.231.
link(35,9) :- #0.847.
link(9,40) :- #0.611.
link(40,9) :- #0.599.
link(9,51) :- #0.6.
link(51,9) :- #0.866.
link(9,64) :- #0.93.
link(64,9) :- #0.503.
link(9,72) :- #0.895.
link(72,9) :- #0.082.
link(9,89) :- #0.381.
link(89,9) :- #0.294.
link(9,92) :- #0.791.
link(92,9) :- #0.28.
link(9,103) :- #0.123.
link(103,9) :- #0.205.
link(9,112) :- #0.404.
link(112,9) :- #0.5.
link(9,118) :- #0.812.
link(118,9) :- #0.768.
link(9,126) :- #0.441.
link(126,9) :- #0.461.
link(10,15) :- #0.03.
link(15,10) :- #0.691.
link(10,29) :- #0.089.
link(29,10) :- #0.637.
link(10,35) :- #0.698.
link(35,10) :- #0.394.
link(10,36) :- #0.082.
link(36,10) :- #0.832.
link(10,65) :- #0.691.
link(65,10) :- #0.477.
link(10,75) :- #0.662.
link(75,10) :- #0.333.
link(10,77) :- #0.868.
link(77,10) :- #0.15.
link(10,87) :- #0.122.
link(87,10) :- #0.333.
link(10,93) :- #0.55.
link(93,10) :- #0.939.
link(10,95) :- #0.807.
link(95,10) :- #0.549.
link(10,96) :- #0.417.
link(96,10) :- #0.548.
link(10,105) :- #0.382.
link(105,10) :- #0.29.
link(10,121) :- #0.204.
link(121,10) :- #0.978.
link(10,122) :- #0.423.
link(122,10) :- #0.854.
link(11,26) :- #0.288.
link(26,11) :- #0.955.
link(11,74) :- #0.125.
link(74,11) :- #0.071.
link(11,79) :- #0.547.
link(79,11) :- #0.422.
link(11,85) :- #0.026.
link(85,11) :- #0.304.
link(11,88) :- #0.824.
link(88,11) :- #0.763.
link(11,92) :- #0.75.
link(92,11) :- #0.792.
link(12,19) :- #0.333.
link(19,12) :- #0.373.
link(12,54) :- #0.033.
link(54,12) :- #0.181.
link(12,57) :- #0.716.
link(57,12) :- #0.79.
link(12,72) :- #0.001.
link(72,12) :- #0.478.
link(12,94) :- #0.582.
link(94,12) :- #0.59.
link(12,97) :- #0.063.
link(97,12) :- #0.794.
link(12,102) :- #0.977.
link(102,12) :- #0.45.
link(12,104) :- #0.868.
link(104,12) :- #0.719.
link(12,105) :- #0.514.
link(105,12) :- #0.724.
link(12,107) :- #0.921.
link(107,12) :- #0.366.
link(12,122) :- #0.171.
link(122,12) :- #0.698.
link(12,123) :- #0.378.
link(123,12) :- #0.051.
link(13,22) :- #0.904.
link(22,13) :- #0.66.
link(13,40) :- #0.628.
link(40,13) :- #0.822.
link(13,44) :- #0.174.
link(44,13) :- #0.469.
link(13,45) :- #0.109.
link(45,13) :- #0.989.
link(13,53) :- #0.849.
link(53,13) :- #0.497.
link(13,63) :- #0.724.
link(63,13) :- #0.156.
link(13,71) :- #0.151.
link(71,13) :- #0.379.
link(13,73) :- #0.579.
link(73,13) :- #0.907.
link(13,75) :- #0.933.
link(75,13) :- #0.704.
link(13,79) :- #0.086.
link(79,13) :- #0.956.
link(13,89) :- #0.261.
link(89,13) :- #0.721.
link(13,98) :- #0.611.
link(98,13) :- #0.713.
link(13,100) :- #0.704.
link(100,13) :- #0.825.
link(13,110) :- #0.653.
link(110,13) :- #0.551.
link(13,123) :- #0.876.
link(123,13) :- #0.384.
link(13,129) :- #0.438.
link(129,13) :- #0.579.
link(14,19) :- #0.166.
link(19,14) :- #0.695.
link(14,35) :- #0.812.
link(35,14) :- #0.215.
link(14,49) :- #0.694.
link(49,14) :- #0.197.
link(14,55) :- #0.535.
link(55,14) :- #0.818.
link(14,61) :- #0.757.
link(61,14) :- #0.488.
link(14,67) :- #0.629.
link(67,14) :- #0.819.
link(14,84) :- #0.227.
link(84,14) :- #0.303.
link(14,99) :- #0.14.
link(99,14) :- #0.396.
link(14,115) :- #0.86.
link(115,14) :- #0.106.
link(14,119) :- #0.797.
link(119,14) :- #0.362.
link(15,19) :- #0.56.
link(19,15) :- #0.64.
link(15,29) :- #0.006.
link(29,15) :- #0.412.
link(15,38) :- #0.477.
link(38,15) :- #0.335.
link(15,42) :- #0.944.
link(42,15) :- #0.812.
link(15,54) :- #0.188.
link(54,15) :- #0.257.
link(15,57) :- #0.167.
link(57,15) :- #0.372.
link(15,81) :- #0.112.
link(81,15) :- #0.905.
link(15,91) :- #0.877.
link(91,15) :- #0.791.
link(15,104) :- #0.952.
link(104,15) :- #0.234.
link(15,105) :- #0.407.
link(105,15) :- #0.993.
link(15,124) :- #0.265.
link(124,15) :- #0.133.
link(16,20) :- #0.485.
link(20,16) :- #0.736.
link(16,33) :- #0.834.
link(33,16) :- #0.197.
link(16,34) :- #0.688.
link(34,16) :- #0.8.
link(16,73) :- #0.192.
link(73,16) :- #0.051.
link(16,74) :- #0.253.
link(74,16) :- #0.274.
link(16,98) :- #0.393.
link(98,16) :- #0.978.
link(16,124) :- #0.001.
link(124,16) :- #0.793.
link(17,21) :- #0.758.
link(21,17) :- #0.045.
link(17,35) :- #0.768.
link(35,17) :- #0.755.
link(17,62) :- #0.169.
link(62,17) :- #0.828.
link(17,75) :- #0.97.
link(75,17) :- #0.997.
link(17,85) :- #0.25.
link(85,17) :- #0.83.
link(17,113) :- #0.185.
link(113,17) :- #0.062.
link(17,122) :- #0.229.
link(122,17) :- #0.652.
link(17,123) :- #0.092.
link(123,17) :- #0.841.
link(18,26) :- #0.031.
link(26,18) :- #0.228.
link(18,32) :- #0.325.
link(32,18) :- #0.031.
link(18,35) :- #0.368.
link(35,18) :- #0.169.
link(18,39) :- #0.643.
link(39,18) :- #0.879.
link(18,45) :- #0.756.
link(45,18) :- #0.639.
link(18,46) :- #0.004.
link(46,18) :- #0.106.
link(18,80) :- #0.165.
link(80,18) :- #0.548.
link(18,84) :- #0.165.
link(84,18) :- #0.549.
link(18,95) :- #0.68.
link(95,18) :- #0.257.
link(18,98) :- #0.192.
link(98,18) :- #0.115.
link(18,105) :- #0.215.
link(105,18) :- #0.043.
link(18,126) :- #0.9.
link(126,18) :- #0.331.
link(19,24) :- #0.284.
link(24,19) :- #0.059.
link(19,67) :- #0.839.
link(67,19) :- #0.387.
link(19,68) :- #0.374.
link(68,19) :- #0.36.
link(19,74) :- #0.731.
link(74,19) :- #0.892.
link(19,77) :- #0.021.
link(77,19) :- #0.37.
link(19,88) :- #0.536.
link(88,19) :- #0.79.
link(19,90) :- #0.798.
link(90,19) :- #0.037.
link(19,110) :- #0.969.
link(110,19) :- #0.527.
link(19,118) :- #0.511.
link(118,19) :- #0.307.
link(19,127) :- #0.705.
link(127,19) :- #0.623.
link(20,38) :- #0.851.
link(38,20) :- #0.897.
link(20,51) :- #0.817.
link(51,20) :- #0.502.
link(20,68) :- #0.915.
link(68,20) :- #0.731.
link(20,110) :- #0.677.
link(110,20) :- #0.762.
link(21,26) :- #0.755.
link(26,21) :- #0.704.
link(21,32) :- #0.432.
link(32,21) :- #0.687.
link(21,36) :- #0.537.
link(36,21) :- #0.44.
link(21,48) :- #0.842.
link(48,21) :- #0.846.
link(21,56) :- #0.936.
link(56,21) :- #0.545.
link(21,73) :- #0.323.
link(73,21) :- #0.239.
link(21,74) :- #0.928.
link(74,21) :- #0.201.
link(21,102) :- #0.034.
link(102,21) :- #0.816.
link(21,107) :- #0.624.
link(107,21) :- #0.061.
link(21,113) :- #0.226.
link(113,21) :- #0.916.
link(21,115) :- #0.892.
link(115,21) :- #0.875.
link(21,122) :- #0.457.
link(122,21) :- #0.607.
link(21,123) :- #0.192.
link(123,21) :- #0.613.
link(22,26) :- #0.695.
link(26,22) :- #0.051.
link(22,31) :- #0.834.
link(31,22) :- #0.336.
link(22,34) :- #0.753.
link(34,22) :- #0.322.
link(22,37) :- #0.097.
link(37,22) :- #0.643.
link(22,41) :- #0.415.
link(41,22) :- #0.103.
link(22,47) :- #0.839.
link(47,22) :- #0.101.
link(22,50) :- #0.251.
link(50,22) :- #0.822.
link(22,59) :- #0.051.
link(59,22) :- #0.99.
link(22,68) :- #0.616.
link(68,22) :- #0.199.
link(22,78) :- #0.694.
link(78,22) :- #0.582.
link(22,85) :- #0.054.
link(85,22) :- #0.225.
link(22,88) :- #0.232.
link(88,22) :- #0.68.
link(22,115) :- #0.048.
link(115,22) :- #0.049.
link(22,123) :- #0.853.
link(123,22) :- #0.667.
link(23,29) :- #0.39.
link(29,23) :- #0.491.
link(23,50) :- #0.914.
link(50,23) :- #0.773.
link(23,53) :- #0.687.
link(53,23) :- #0.155.
link(23,56) :- #0.995.
link(56,23) :- #0.889.
link(23,66) :- #0.545.
link(66,23) :- #0.882.
link(23,71) :- #0.916.
link(71,23) :- #0.15.
link(23,74) :- #0.705.
link(74,23) :- #0.281.
link(23,86) :- #0.361.
link(86,23) :- #0.791.
link(23,98) :- #0.807.
link(98,23) :- #0.821.
link(23,101) :- #0.619.
link(101,23) :- #0.765.
link(23,117) :- #0.289.
link(117,23) :- #0.746.
link(24,26) :- #0.596.
link(26,24) :- #0.22.
link(24,35) :- #0.047.
link(35,24) :- #0.394.
link(24,42) :- #0.143.
link(42,24) :- #0.762.
link(24,49) :- #0.546.
link(49,24) :- #0.223.
link(24,55) :- #0.13.
link(55,24) :- #0.198.
link(24,61) :- #0.979.
link(61,24) :- #0.479.
link(24,63) :- #0.468.
link(63,24) :- #0.016.
link(24,67) :- #0.098.
link(67,24) :- #0.353.
link(24,76) :- #0.464.
link(76,24) :- #0.681.
link(24,90) :- #0.672.
link(90,24) :- #0.298.
link(24,98) :- #0.889.
link(98,24) :- #0.156.
link(24,102) :- #0.961.
link(102,24) :- #0.696.
link(24,108) :- #0.911.
link(108,24) :- #0.03.
link(24,109) :- #0.573.
link(109,24) :- #0.005.
link(24,124) :- #0.23.
link(124,24) :- #0.805.
link(25,27) :- #0.945.
link(27,25) :- #0.238.
link(25,41) :- #0.429.
link(41,25) :- #0.227.
link(25,66) :- #0.198.
link(66,25) :- #0.755.
link(25,80) :- #0.658.
link(80,25) :- #0.841.
link(25,102) :- #0.136.
link(102,25) :- #0.901.
link(25,124) :- #0.194.
link(124,25) :- #0.921.
link(25,130) :- #0.609.
link(130,25) :- #0.621.
link(26,36) :- #0.787.
link(36,26) :- #0.739.
link(26,44) :- #0.986.
link(44,26) :- #0.314.
link(26,58) :- #0.474.
link(58,26) :- #0.199.
link(26,73) :- #0.001.
link(73,26) :- #0.606.
link(26,80) :- #0.973.
link(80,26) :- #0.669.
link(26,90) :- #0.132.
link(90,26) :- #0.363.
link(26,115) :- #0.193.
link(115,26) :- #0.589.
link(27,50) :- #0.038.
link(50,27) :- #0.949.
link(27,51) :- #0.374.
link(51,27) :- #0.858.
link(27,61) :- #0.397.
link(61,27) :- #0.923.
link(27,63) :- #0.26.
link(63,27) :- #0.126.
link(27,89) :- #0.053.
link(89,27) :- #0.937.
link(27,92) :- #0.392.
link(92,27) :- #0.876.
link(27,102) :- #0.298.
link(102,27) :- #0.498.
link(27,111) :- #0.428.
link(111,27) :- #0.547.
link(27,116) :- #0.865.
link(116,27) :- #0.381.
link(28,39) :- #0.56.
link(39,28) :- #0.931.
link(28,56) :- #0.031.
link(56,28) :- #0.433.
link(28,62) :- #0.911.
link(62,28) :- #0.543.
link(28,64) :- #0.775.
link(64,28) :- #0.019.
link(28,82) :- #0.824.
link(82,28) :- #0.967.
link(28,83) :- #0.108.
link(83,28) :- #0.761.
link(28,106) :- #0.51.
link(106,28) :- #0.771.
link(28,124) :- #0.228.
link(124,28) :- #0.125.
link(29,30) :- #0.416.
link(30,29) :- #0.323.
link(29,35) :- #0.761.
link(35,29) :- #0.735.
link(29,36) :- #0.269.
link(36,29) :- #0.794.
link(29,42) :- #0.756.
link(42,29) :- #0.757.
link(29,43) :- #0.212.
link(43,29) :- #0.001.
link(29,50) :- #0.751.
link(50,29) :- #0.569.
link(29,58) :- #0.999.
link(58,29) :- #0.43.
link(29,74) :- #0.07.
link(74,29) :- #0.157.
link(29,85) :- #0.535.
link(85,29) :- #0.13.
link(29,99) :- #0.466.
link(99,29) :- #0.946.
link(29,108) :- #0.129.
link(108,29) :- #0.023.
link(29,121) :- #0.594.
link(121,29) :- #0.033.
link(29,129) :- #0.872.
link(129,29) :- #0.036.
link(30,34) :- #0.052.
link(34,30) :- #0.418.
link(30,44) :- #0.438.
link(44,30) :- #0.021.
link(30,45) :- #0.294.
link(45,30) :- #0.603.
link(30,88) :- #0.837.
link(88,30) :- #0.455.
link(30,92) :- #0.846.
link(92,30) :- #0.875.
link(30,98) :- #0.172.
link(98,30) :- #0.854.
link(30,122) :- #0.409.
link(122,30) :- #0.556.
link(30,129) :- #0.058.
link(129,30) :- #0.788.
link(31,45) :- #0.565.
link(45,31) :- #0.918.
link(31,60) :- #0.943.
link(60,31) :- #0.515.
link(31,62) :- #0.558.
link(62,31) :- #0.289.
link(31,64) :- #0.33.
link(64,31) :- #0.012.
link(31,68) :- #0.557.
link(68,31) :- #0.097.
link(31,77) :- #0.604.
link(77,31) :- #0.458.
link(31,83) :- #0.763.
link(83,31) :- #0.122.
link(31,90) :- #0.525.
link(90,31) :- #0.775.
link(31,99) :- #0.908.
link(99,31) :- #0.658.
link(31,121) :- #0.946.
link(121,31) :- #0.346.
link(31,129) :- #0.092.
link(129,31) :- #0.479.
link(32,34) :- #0.25.
link(34,32) :- #0.458.
link(32,50) :- #0.343.
link(50,32) :- #0.669.
link(32,57) :- #0.724.
link(57,32) :- #0.998.
link(32,58) :- #0.035.
link(58,32) :- #0.385.
link(32,59) :- #0.17.
link(59,32) :- #0.503.
link(32,79) :- #0.689.
link(79,32) :- #0.111.
link(32,86) :- #0.958.
link(86,32) :- #0.358.
link(32,91) :- #0.186.
link(91,32) :- #0.033.
link(32,98) :- #0.27.
link(98,32) :- #0.107.
link(32,115) :- #0.132.
link(115,32) :- #0.828.
link(33,34) :- #0.916.
link(34,33) :- #0.661.
link(33,46) :- #0.504.
link(46,33) :- #0.54.
link(33,48) :- #0.03.
link(48,33) :- #0.443.
link(33,80) :- #0.584.
link(80,33) :- #0.01.
link(33,96) :- #0.478.
link(96,33) :- #0.048.
link(33,100) :- #0.25.
link(100,33) :- #0.521.
link(33,109) :- #0.681.
link(109,33) :- #0.952.
link(33,116) :- #0.319.
link(116,33) :- #0.224.
link(34,73) :- #0.807.
link(73,34) :- #0.76.
link(34,76) :- #0.662.
link(76,34) :- #0.537.
link(34,79) :- #0.202.
link(79,34) :- #0.878.
link(34,80) :- #0.415.
link(80,34) :- #0.895.
link(34,89) :- #0.394.
link(89,34) :- #0.704.
link(34,116) :- #0.58.
link(116,34) :- #0.008.
link(35,38) :- #0.744.
link(38,35) :- #0.141.
link(35,56) :- #0.659.
link(56,35) :- #0.51.
link(35,78) :- #0.566.
link(78,35) :- #0.62.
link(35,82) :- #0.534.
link(82,35) :- #0.708.
link(35,106) :- #0.473.
link(106,35) :- #0.865.
link(35,118) :- #0.308.
link(118,35) :- #0.768.
link(36,45) :- #0.495.
link(45,36) :- #0.285.
link(36,47) :- #0.229.
link(47,36) :- #0.547.
link(36,71) :- #0.623.
link(71,36) :- #0.323.
link(36,81) :- #0.512.
link(81,36) :- #0.359.
link(36,85) :- #0.599.
link(85,36) :- #0.227.
link(36,87) :- #0.014.
link(87,36) :- #0.928.
link(36,89) :- #0.73.
link(89,36) :- #0.879.
link(36,90) :- #0.254.
link(90,36) :- #0.04.
link(36,94) :- #0.966.
link(94,36) :- #0.144.
link(36,97) :- #0.629.
link(97,36) :- #0.616.
link(36,113) :- #0.58.
link(113,36) :- #0.519.
link(36,114) :- #0.377.
link(114,36) :- #0.209.
link(36,123) :- #0.117.
link(123,36) :- #0.863.
link(36,129) :- #0.498.
link(129,36) :- #0.709.
link(37,40) :- #0.423.
link(40,37) :- #0.896.
link(37,49) :- #0.665.
link(49,37) :- #0.226.
link(37,56) :- #0.966.
link(56,37) :- #0.938.
link(37,62) :- #0.861.
link(62,37) :- #0.011.
link(37,75) :- #0.36.
link(75,37) :- #0.444.
link(37,86) :- #0.923.
link(86,37) :- #0.326.
link(37,88) :- #0.32.
link(88,37) :- #0.19.
link(37,92) :- #0.319.
link(92,37) :- #0.825.
link(37,108) :- #0.662.
link(108,37) :- #0.981.
link(37,110) :- #0.751.
link(110,37) :- #0.074.
link(37,126) :- #0.66.
link(126,37) :- #0.325.
link(38,39) :- #0.706.
link(39,38) :- #0.938.
link(38,45) :- #0.938.
link(45,38) :- #0.418.
link(38,54) :- #0.983.
link(54,38) :- #0.981.
link(38,59) :- #0.181.
link(59,38) :- #0.522.
link(38,61) :- #0.774.
link(61,38) :- #0.379.
link(38,73) :- #0.723.
link(73,38) :- #0.631.
link(38,74) :- #0.806.
link(74,38) :- #0.058.
link(38,77) :- #0.322.
link(77,38) :- #0.297.
link(38,87) :- #0.886.
link(87,38) :- #0.327.
link(38,101) :- #0.055.
link(101,38) :- #0.288.
link(38,102) :- #0.21.
link(102,38) :- #0.815.
link(38,114) :- #0.071.
link(114,38) :- #0.24.
link(38,115) :- #0.733.
link(115,38) :- #0.42.
link(38,116) :- #0.034.
link(116,38) :- #0.445.
link(38,125) :- #0.722.
link(125,38) :- #0.445.
link(38,126) :- #0.355.
link(126,38) :- #0.236.
link(39,43) :- #0.133.
link(43,39) :- #0.597.
link(39,58) :- #0.222.
link(58,39) :- #0.027.
link(39,72) :- #0.358.
link(72,39) :- #0.712.
link(39,75) :- #0.722.
link(75,39) :- #0.586.
link(39,92) :- #0.137.
link(92,39) :- #0.493.
link(39,101) :- #0.926.
link(101,39) :- #0.872.
link(39,105) :- #0.335.
link(105,39) :- #0.366.
link(39,118) :- #0.367.
link(118,39) :- #0.064.
link(40,47) :- #0.974.
link(47,40) :- #0.404.
link(40,74) :- #0.112.
link(74,40) :- #0.904.
link(40,79) :- #0.385.
link(79,40) :- #0.742.
link(40,88) :- #0.242.
link(88,40) :- #0.302.
link(40,95) :- #0.868.
link(95,40) :- #0.758.
link(40,100) :- #0.708.
link(100,40) :- #0.101.
link(40,101) :- #0.411.
link(101,40) :- #0.582.
link(40,104) :- #0.644.
link(104,40) :- #0.054.
link(40,125) :- #0.389.
link(125,40) :- #0.096.
link(41,85) :- #0.519.
link(85,41) :- #0.403.
link(41,124) :- #0.854.
link(124,41) :- #0.988.
link(41,127) :- #0.204.
link(127,41) :- #0.84.
link(42,54) :- #0.787.
link(54,42) :- #0.548.
link(42,60) :- #0.87.
link(60,42) :- #0.353.
link(42,73) :- #0.37.
link(73,42) :- #0.891.
link(42,82) :- #0.644.
link(82,42) :- #0.176.
link(42,91) :- #0.729.
link(91,42) :- #0.91.
link(42,92) :- #0.311.
link(92,42) :- #0.286.
link(42,115) :- #0.31.
link(115,42) :- #0.329.
link(43,48) :- #0.013.
link(48,43) :- #0.111.
link(43,53) :- #0.943.
link(53,43) :- #0.502.
link(43,64) :- #0.454.
link(64,43) :- #0.134.
link(43,93) :- #0.077.
link(93,43) :- #0.369.
link(43,108) :- #0.373.
link(108,43) :- #0.061.
link(43,110) :- #0.543.
link(110,43) :- #0.133.
link(43,116) :- #0.048.
link(116,43) :- #0.466.
link(43,127) :- #0.627.
link(127,43) :- #0.496.
link(44,56) :- #0.067.
link(56,44) :- #0.004.
link(44,60) :- #0.238.
link(60,44) :- #0.647.
link(44,63) :- #0.905.
link(63,44) :- #0.211.
link(44,67) :- #0.277.
link(67,44) :- #0.876.
link(44,68) :- #0.758.
link(68,44) :- #0.937.
link(44,87) :- #0.195.
link(87,44) :- #0.758.
link(44,91) :- #0.201.
link(91,44) :- #0.611.
link(44,94) :- #0.493.
link(94,44) :- #0.959.
link(44,116) :- #0.43.
link(116,44) :- #0.134.
link(45,46) :- #0.045.
link(46,45) :- #0.057.
link(45,53) :- #0.943.
link(53,45) :- #0.371.
link(45,59) :- #0.511.
link(59,45) :- #0.533.
link(45,74) :- #0.376.
link(74,45) :- #0.129.
link(45,80) :- #0.44.
link(80,45) :- #0.378.
link(45,88) :- #0.133.
link(88,45) :- #0.614.
link(45,93) :- #0.523.
link(93,45) :- #0.469.
link(45,96) :- #0.027.
link(96,45) :- #0.56.
link(45,98) :- #0.577.
link(98,45) :- #0.978.
link(45,100) :- #0.262.
link(100,45) :- #0.22.
link(45,113) :- #0.591.
link(113,45) :- #0.096.
link(45,130) :- #0.156.
link(130,45) :- #0.975.
link(46,60) :- #0.333.
link(60,46) :- #0.312.
link(46,66) :- #0.278.
link(66,46) :- #0.365.
link(46,74) :- #0.685.
link(74,46) :- #0.324.
link(46,105) :- #0.567.
link(105,46) :- #0.426.
link(47,56) :- #0.
link(56,47) :- #0.532.
link(47,63) :- #0.114.
link(63,47) :- #0.582.
link(47,69) :- #0.972.
link(69,47) :- #0.434.
link(47,71) :- #0.92.
link(71,47) :- #0.26.
link(47,83) :- #0.117.
link(83,47) :- #0.237.
link(47,85) :- #0.195.
link(85,47) :- #0.471.
link(47,88) :- #0.011.
link(88,47) :- #0.66.
link(47,90) :- #0.723.
link(90,47) :- #0.767.
link(47,97) :- #0.578.
link(97,47) :- #0.393.
link(47,100) :- #0.061.
link(100,47) :- #0.269.
link(47,103) :- #0.598.
link(103,47) :- #0.542.
link(47,112) :- #0.866.
link(112,47) :- #0.504.
link(47,119) :- #0.002.
link(119,47) :- #0.816.
link(47,128) :- #0.417.
link(128,47) :- #0.836.
link(48,92) :- #0.784.
link(92,48) :- #0.356.
link(48,126) :- #0.269.
link(126,48) :- #0.932.
link(49,51) :- #0.36.
link(51,49) :- #0.057.
link(49,66) :- #0.457.
link(66,49) :- #0.267.
link(49,79) :- #0.051.
link(79,49) :- #0.776.
link(49,92) :- #0.367.
link(92,49) :- #0.709.
link(49,97) :- #0.956.
link(97,49) :- #0.076.
link(49,108) :- #0.267.
link(108,49) :- #0.265.
link(50,58) :- #0.675.
link(58,50) :- #0.35.
link(50,59) :- #0.186.
link(59,50) :- #0.371.
link(50,64) :- #0.184.
link(64,50) :- #0.583.
link(50,72) :- #0.471.
link(72,50) :- #0.605.
link(50,78) :- #0.101.
link(78,50) :- #0.273.
link(50,83) :- #0.693.
link(83,50) :- #0.415.
link(50,88) :- #0.919.
link(88,50) :- #0.549.
link(50,98) :- #0.085.
link(98,50) :- #0.498.
link(50,102) :- #0.527.
link(102,50) :- #0.442.
link(50,111) :- #0.973.
link(111,50) :- #0.73.
link(50,112) :- #0.008.
link(112,50) :- #0.943.
link(50,126) :- #0.672.
link(126,50) :- #0.468.
link(50,127) :- #0.963.
link(127,50) :- #0.718.
link(51,53) :- #0.525.
link(53,51) :- #0.159.
link(51,58) :- #0.081.
link(58,51) :- #0.423.
link(51,66) :- #0.518.
link(66,51) :- #0.336.
link(51,77) :- #0.745.
link(77,51) :- #0.899.
link(51,85) :- #0.637.
link(85,51) :- #0.507.
link(51,88) :- #0.853.
link(88,51) :- #0.35.
link(51,90) :- #0.513.
link(90,51) :- #0.317.
link(51,112) :- #0.866.
link(112,51) :- #0.923.
link(51,115) :- #0.366.
link(115,51) :- #0.678.
link(51,117) :- #0.111.
link(117,51) :- #0.202.
link(51,121) :- #0.819.
link(121,51) :- #0.768.
link(51,128) :- #0.496.
link(128,51) :- #0.426.
link(51,130) :- #0.119.
link(130,51) :- #0.715.
link(52,60) :- #0.864.
link(60,52) :- #0.194.
link(52,68) :- #0.233.
link(68,52) :- #0.066.
link(52,78) :- #0.759.
link(78,52) :- #0.899.
link(52,80) :- #0.222.
link(80,52) :- #0.472.
link(52,95) :- #0.491.
link(95,52) :- #0.646.
link(52,115) :- #0.313.
link(115,52) :- #0.264.
link(53,54) :- #0.187.
link(54,53) :- #0.324.
link(53,57) :- #0.13.
link(57,53) :- #0.291.
link(53,64) :- #0.264.
link(64,53) :- #0.477.
link(53,74) :- #0.003.
link(74,53) :- #0.588.
link(53,109) :- #0.23.
link(109,53) :- #0.365.
link(53,110) :- #0.153.
link(110,53) :- #0.554.
link(54,59) :- #0.349.
link(59,54) :- #0.972.
link(54,76) :- #0.474.
link(76,54) :- #0.638.
link(54,80) :- #0.913.
link(80,54) :- #0.895.
link(54,89) :- #0.639.
link(89,54) :- #0.222.
link(54,94) :- #0.219.
link(94,54) :- #0.858.
link(54,97) :- #0.346.
link(97,54) :- #0.098.
link(54,101) :- #0.975.
link(101,54) :- #0.879.
link(54,110) :- #0.578.
link(110,54) :- #0.501.
link(54,116) :- #0.428.
link(116,54) :- #0.595.
link(54,117) :- #0.275.
link(117,54) :- #0.139.
link(54,128) :- #0.844.
link(128,54) :- #0.416.
link(55,56) :- #0.512.
link(56,55) :- #0.601.
link(55,66) :- #0.888.
link(66,55) :- #0.7.
link(55,73) :- #0.146.
link(73,55) :- #0.19.
link(55,80) :- #0.4.
link(80,55) :- #0.045.
link(55,93) :- #0.422.
link(93,55) :- #0.137.
link(55,97) :- #0.086.
link(97,55) :- #0.885.
link(55,114) :- #0.739.
link(114,55) :- #0.696.
link(55,122) :- #0.749.
link(122,55) :- #0.249.
link(55,130) :- #0.022.
link(130,55) :- #0.097.
link(56,67) :- #0.17.
link(67,56) :- #0.74.
link(56,68) :- #0.796.
link(68,56) :- #0.564.
link(56,69) :- #0.19.
link(69,56) :- #0.477.
link(56,77) :- #0.49.
link(77,56) :- #0.47.
link(56,95) :- #0.487.
link(95,56) :- #0.725.
link(56,102) :- #0.878.
link(102,56) :- #0.451.
link(56,117) :- #0.124.
link(117,56) :- #0.891.
link(57,63) :- #0.229.
link(63,57) :- #0.555.
link(57,64) :- #0.923.
link(64,57) :- #0.269.
link(57,67) :- #0.269.
link(67,57) :- #0.735.
link(57,68) :- #0.917.
link(68,57) :- #0.466.
link(57,72) :- #0.667.
link(72,57) :- #0.699.
link(57,79) :- #0.36.
link(79,57) :- #0.84.
link(57,91) :- #0.426.
link(91,57) :- #0.018.
link(57,99) :- #0.621.
link(99,57) :- #0.057.
link(57,129) :- #0.472.
link(129,57) :- #0.701.
link(58,65) :- #0.676.
link(65,58) :- #0.946.
link(58,73) :- #0.194.
link(73,58) :- #0.246.
link(58,75) :- #0.03.
link(75,58) :- #0.534.
link(58,98) :- #0.816.
link(98,58) :- #0.421.
link(58,122) :- #0.968.
link(122,58) :- #0.187.
link(58,125) :- #0.059.
link(125,58) :- #0.109.
link(58,126) :- #0.741.
link(126,58) :- #0.077.
link(58,128) :- #0.451.
link(128,58) :- #0.176.
link(58,129) :- #0.092.
link(129,58) :- #0.617.
link(59,72) :- #0.201.
link(72,59) :- #0.186.
link(59,76) :- #0.802.
link(76,59) :- #0.337.
link(59,90) :- #0.484.
link(90,59) :- #0.36.
link(59,92) :- #0.207.
link(92,59) :- #0.875.
link(59,99) :- #0.023.
link(99,59) :- #0.441.
link(59,108) :- #0.998.
link(108,59) :- #0.204.
link(59,115) :- #0.643.
link(115,59) :- #0.363.
link(59,129) :- #0.723.
link(129,59) :- #0.789.
link(60,61) :- #0.117.
link(61,60) :- #0.032.
link(60,68) :- #0.076.
link(68,60) :- #0.574.
link(60,101) :- #0.775.
link(101,60) :- #0.229.
link(60,109) :- #0.952.
link(109,60) :- #0.395.
link(60,117) :- #0.341.
link(117,60) :- #0.095.
link(61,66) :- #0.005.
link(66,61) :- #0.634.
link(61,79) :- #0.04.
link(79,61) :- #0.748.
link(61,88) :- #0.802.
link(88,61) :- #0.615.
link(61,100) :- #0.797.
link(100,61) :- #0.115.
link(61,101) :- #0.874.
link(101,61) :- #0.884.
link(61,128) :- #0.012.
link(128,61) :- #0.572.
link(61,130) :- #0.052.
link(130,61) :- #0.154.
link(62,69) :- #0.027.
link(69,62) :- #0.716.
link(62,73) :- #0.202.
link(73,62) :- #0.309.
link(62,104) :- #0.451.
link(104,62) :- #0.766.
link(63,67) :- #0.107.
link(67,63) :- #0.534.
link(63,69) :- #0.642.
link(69,63) :- #0.235.
link(63,86) :- #0.22.
link(86,63) :- #0.883.
link(63,90) :- #0.048.
link(90,63) :- #0.678.
link(63,92) :- #0.634.
link(92,63) :- #0.56.
link(63,101) :- #0.987.
link(101,63) :- #0.24.
link(63,103) :- #0.164.
link(103,63) :- #0.815.
link(63,115) :- #0.843.
link(115,63) :- #0.369.
link(64,78) :- #0.169.
link(78,64) :- #0.936.
link(64,81) :- #0.111.
link(81,64) :- #0.217.
link(64,101) :- #0.746.
link(101,64) :- #0.817.
link(64,107) :- #0.327.
link(107,64) :- #0.918.
link(64,110) :- #0.586.
link(110,64) :- #0.181.
link(64,118) :- #0.53.
link(118,64) :- #0.037.
link(65,83) :- #0.717.
link(83,65) :- #0.946.
link(65,86) :- #0.478.
link(86,65) :- #0.785.
link(65,87) :- #0.324.
link(87,65) :- #0.492.
link(65,89) :- #0.772.
link(89,65) :- #0.43.
link(65,99) :- #0.924.
link(99,65) :- #0.494.
link(65,107) :- #0.089.
link(107,65) :- #0.106.
link(65,112) :- #0.381.
link(112,65) :- #0.704.
link(65,119) :- #0.663.
link(119,65) :- #0.636.
link(66,68) :- #0.299.
link(68,66) :- #0.753.
link(66,80) :- #0.818.
link(80,66) :- #0.188.
link(66,104) :- #0.406.
link(104,66) :- #0.01.
link(67,69) :- #0.701.
link(69,67) :- #0.58.
link(67,115) :- #0.995.
link(115,67) :- #0.458.
link(67,121) :- #0.289.
link(121,67) :- #0.727.
link(67,127) :- #0.636.
link(127,67) :- #0.732.
link(68,78) :- #0.595.
link(78,68) :- #0.453.
link(68,80) :- #0.292.
link(80,68) :- #0.134.
link(68,83) :- #0.449.
link(83,68) :- #0.257.
link(68,98) :- #0.076.
link(98,68) :- #0.967.
link(68,112) :- #0.263.
link(112,68) :- #0.279.
link(69,73) :- #0.929.
link(73,69) :- #0.584.
link(69,90) :- #0.141.
link(90,69) :- #0.124.
link(69,92) :- #0.033.
link(92,69) :- #0.639.
link(69,106) :- #0.131.
link(106,69) :- #0.166.
link(69,109) :- #0.264.
link(109,69) :- #0.292.
link(69,129) :- #0.499.
link(129,69) :- #0.839.
link(70,73) :- #0.073.
link(73,70) :- #0.078.
link(70,75) :- #0.596.
link(75,70) :- #0.207.
link(70,77) :- #0.011.
link(77,70) :- #0.535.
link(70,83) :- #0.353.
link(83,70) :- #0.011.
link(70,86) :- #0.524.
link(86,70) :- #0.013.
link(70,105) :- #0.88.
link(105,70) :- #0.657.
link(70,106) :- #0.346.
link(106,70) :- #0.623.
link(70,111) :- #0.299.
link(111,70) :- #0.197.
link(70,119) :- #0.894.
link(119,70) :- #0.542.
link(71,77) :- #0.337.
link(77,71) :- #0.873.
link(71,81) :- #0.865.
link(81,71) :- #0.782.
link(71,86) :- #0.461.
link(86,71) :- #0.886.
link(71,89) :- #0.94.
link(89,71) :- #0.427.
link(71,100) :- #0.449.
link(100,71) :- #0.678.
link(71,114) :- #0.184.
link(114,71) :- #0.847.
link(71,120) :- #0.279.
link(120,71) :- #0.561.
link(72,84) :- #0.69.
link(84,72) :- #0.842.
link(72,88) :- #0.392.
link(88,72) :- #0.289.
link(72,91) :- #0.017.
link(91,72) :- #0.122.
link(72,95) :- #0.834.
link(95,72) :- #0.211.
link(72,104) :- #0.412.
link(104,72) :- #0.541.
link(73,82) :- #0.051.
link(82,73) :- #0.652.
link(73,83) :- #0.182.
link(83,73) :- #0.46.
link(73,89) :- #0.314.
link(89,73) :- #0.955.
link(73,99) :- #0.371.
link(99,73) :- #0.221.
link(73,105) :- #0.801.
link(105,73) :- #0.068.
link(73,106) :- #0.309.
link(106,73) :- #0.882.
link(73,111) :- #0.25.
link(111,73) :- #0.441.
link(74,77) :- #0.244.
link(77,74) :- #0.804.
link(74,90) :- #0.205.
link(90,74) :- #0.273.
link(74,106) :- #0.997.
link(106,74) :- #0.804.
link(74,112) :- #0.041.
link(112,74) :- #0.519.
link(74,115) :- #0.218.
link(115,74) :- #0.22.
link(74,117) :- #0.004.
link(117,74) :- #0.741.
link(74,120) :- #0.77.
link(120,74) :- #0.259.
link(74,122) :- #0.127.
link(122,74) :- #0.264.
link(74,124) :- #0.133.
link(124,74) :- #0.241.
link(74,125) :- #0.45.
link(125,74) :- #0.8.
link(75,90) :- #0.484.
link(90,75) :- #0.343.
link(75,96) :- #0.859.
link(96,75) :- #0.813.
link(75,118) :- #0.503.
link(118,75) :- #0.91.
link(76,87) :- #0.048.
link(87,76) :- #0.334.
link(76,88) :- #0.752.
link(88,76) :- #0.476.
link(76,98) :- #0.792.
link(98,76) :- #0.639.
link(76,109) :- #0.887.
link(109,76) :- #0.086.
link(76,121) :- #0.255.
link(121,76) :- #0.232.
link(76,122) :- #0.551.
link(122,76) :- #0.949.
link(76,123) :- #0.611.
link(123,76) :- #0.804.
link(76,128) :- #0.893.
link(128,76) :- #0.686.
link(77,101) :- #0.551.
link(101,77) :- #0.48.
link(77,102) :- #0.432.
link(102,77) :- #0.713.
link(77,108) :- #0.389.
link(108,77) :- #0.483.
link(78,80) :- #0.017.
link(80,78) :- #0.276.
link(78,99) :- #0.54.
link(99,78) :- #0.745.
link(78,100) :- #0.636.
link(100,78) :- #0.258.
link(78,102) :- #0.189.
link(102,78) :- #0.526.
link(78,109) :- #0.655.
link(109,78) :- #0.758.
link(78,114) :- #0.458.
link(114,78) :- #0.603.
link(78,115) :- #0.001.
link(115,78) :- #0.983.
link(78,116) :- #0.299.
link(116,78) :- #0.112.
link(78,121) :- #0.872.
link(121,78) :- #0.037.
link(79,81) :- #0.496.
link(81,79) :- #0.07.
link(79,100) :- #0.752.
link(100,79) :- #0.438.
link(79,105) :- #0.542.
link(105,79) :- #0.632.
link(79,119) :- #0.936.
link(119,79) :- #0.721.
link(79,122) :- #0.899.
link(122,79) :- #0.966.
link(80,82) :- #0.124.
link(82,80) :- #0.413.
link(80,87) :- #0.174.
link(87,80) :- #0.761.
link(80,101) :- #0.197.
link(101,80) :- #0.091.
link(80,111) :- #0.62.
link(111,80) :- #0.718.
link(80,123) :- #0.326.
link(123,80) :- #0.9.
link(80,124) :- #0.837.
link(124,80) :- #0.301.
link(80,129) :- #0.631.
link(129,80) :- #0.829.
link(80,130) :- #0.698.
link(130,80) :- #0.616.
link(81,84) :- #0.507.
link(84,81) :- #0.605.
link(81,94) :- #0.962.
link(94,81) :- #0.818.
link(81,95) :- #0.251.
link(95,81) :- #0.218.
link(81,111) :- #0.148.
link(111,81) :- #0.211.
link(81,112) :- #0.26.
link(112,81) :- #0.802.
link(81,118) :- #0.74.
link(118,81) :- #0.237.
link(82,108) :- #0.617.
link(108,82) :- #0.852.
link(82,109) :- #0.337.
link(109,82) :- #0.495.
link(82,110) :- #0.649.
link(110,82) :- #0.038.
link(82,112) :- #0.524.
link(112,82) :- #0.578.
link(82,115) :- #0.909.
link(115,82) :- #0.187.
link(82,124) :- #0.304.
link(124,82) :- #0.724.
link(82,125) :- #0.957.
link(125,82) :- #0.385.
link(82,130) :- #0.089.
link(130,82) :- #0.72.
link(83,100) :- #0.361.
link(100,83) :- #0.641.
link(83,121) :- #0.411.
link(121,83) :- #0.286.
link(83,130) :- #0.112.
link(130,83) :- #0.679.
link(84,96) :- #0.712.
link(96,84) :- #0.65.
link(84,98) :- #0.354.
link(98,84) :- #0.308.
link(84,111) :- #0.055.
link(111,84) :- #0.807.
link(84,114) :- #0.236.
link(114,84) :- #0.48.
link(84,123) :- #0.41.
link(123,84) :- #0.945.
link(84,130) :- #0.185.
link(130,84) :- #0.793.
link(85,89) :- #0.904.
link(89,85) :- #0.741.
link(85,97) :- #0.892.
link(97,85) :- #0.267.
link(85,123) :- #0.023.
link(123,85) :- #0.34.
link(85,127) :- #0.283.
link(127,85) :- #0.108.
link(86,95) :- #0.274.
link(95,86) :- #0.097.
link(86,106) :- #0.361.
link(106,86) :- #0.738.
link(86,110) :- #0.041.
link(110,86) :- #0.104.
link(86,117) :- #0.697.
link(117,86) :- #0.032.
link(86,121) :- #0.799.
link(121,86) :- #0.555.
link(86,126) :- #0.726.
link(126,86) :- #0.945.
link(86,127) :- #0.186.
link(127,86) :- #0.617.
link(86,128) :- #0.76.
link(128,86) :- #0.889.
link(87,90) :- #0.516.
link(90,87) :- #0.17.
link(87,95) :- #0.643.
link(95,87) :- #0.398.
link(87,107) :- #0.842.
link(107,87) :- #0.952.
link(87,114) :- #0.163.
link(114,87) :- #0.185.
link(88,91) :- #0.858.
link(91,88) :- #0.058.
link(88,109) :- #0.402.
link(109,88) :- #0.19.
link(88,112) :- #0.303.
link(112,88) :- #0.52.
link(88,114) :- #0.11.
link(114,88) :- #0.161.
link(88,118) :- #0.803.
link(118,88) :- #0.95.
link(88,127) :- #0.306.
link(127,88) :- #0.677.
link(88,130) :- #0.73.
link(130,88) :- #0.816.
link(89,98) :- #0.833.
link(98,89) :- #0.893.
link(89,124) :- #0.602.
link(124,89) :- #0.258.
link(89,130) :- #0.433.
link(130,89) :- #0.227.
link(90,99) :- #0.399.
link(99,90) :- #0.08.
link(90,113) :- #0.503.
link(113,90) :- #0.218.
link(90,117) :- #0.123.
link(117,90) :- #0.344.
link(90,122) :- #0.595.
link(122,90) :- #0.073.
link(90,129) :- #0.526.
link(129,90) :- #0.28.
link(91,98) :- #0.505.
link(98,91) :- #0.426.
link(91,110) :- #0.792.
link(110,91) :- #0.032.
link(91,116) :- #0.642.
link(116,91) :- #0.376.
link(91,121) :- #0.504.
link(121,91) :- #0.128.
link(91,122) :- #0.113.
link(122,91) :- #0.352.
link(92,96) :- #0.543.
link(96,92) :- #0.988.
link(92,99) :- #0.313.
link(99,92) :- #0.172.
link(92,101) :- #0.859.
link(101,92) :- #0.009.
link(92,108) :- #0.824.
link(108,92) :- #0.234.
link(92,126) :- #0.976.
link(126,92) :- #0.49.
link(92,129) :- #0.518.
link(129,92) :- #0.015.
link(93,96) :- #0.623.
link(96,93) :- #0.57.
link(93,108) :- #0.015.
link(108,93) :- #0.459.
link(93,124) :- #0.128.
link(124,93) :- #0.3.
link(95,106) :- #0.259.
link(106,95) :- #0.757.
link(95,114) :- #0.102.
link(114,95) :- #0.44.
link(95,119) :- #0.114.
link(119,95) :- #0.11.
link(95,122) :- #0.888.
link(122,95) :- #0.793.
link(95,127) :- #0.416.
link(127,95) :- #0.106.
link(96,100) :- #0.203.
link(100,96) :- #0.989.
link(96,114) :- #0.193.
link(114,96) :- #0.047.
link(96,123) :- #0.088.
link(123,96) :- #0.211.
link(96,126) :- #0.267.
link(126,96) :- #0.296.
link(96,127) :- #0.596.
link(127,96) :- #0.315.
link(97,107) :- #0.729.
link(107,97) :- #0.106.
link(97,110) :- #0.757.
link(110,97) :- #0.98.
link(97,113) :- #0.92.
link(113,97) :- #0.471.
link(97,114) :- #0.978.
link(114,97) :- #0.659.
link(97,126) :- #0.314.
link(126,97) :- #0.894.
link(97,129) :- #0.823.
link(129,97) :- #0.266.
link(98,103) :- #0.803.
link(103,98) :- #0.12.
link(98,106) :- #0.635.
link(106,98) :- #0.271.
link(98,108) :- #0.228.
link(108,98) :- #0.556.
link(98,117) :- #0.825.
link(117,98) :- #0.567.
link(98,118) :- #0.978.
link(118,98) :- #0.264.
link(98,125) :- #0.286.
link(125,98) :- #0.337.
link(98,128) :- #0.171.
link(128,98) :- #0.857.
link(99,110) :- #0.803.
link(110,99) :- #0.988.
link(99,118) :- #0.332.
link(118,99) :- #0.86.
link(99,122) :- #0.957.
link(122,99) :- #0.971.
link(99,123) :- #0.863.
link(123,99) :- #0.869.
link(100,102) :- #0.626.
link(102,100) :- #0.966.
link(101,122) :- #0.613.
link(122,101) :- #0.33.
link(101,128) :- #0.226.
link(128,101) :- #0.405.
link(102,107) :- #0.919.
link(107,102) :- #0.604.
link(102,116) :- #0.444.
link(116,102) :- #0.674.
link(102,118) :- #0.902.
link(118,102) :- #0.959.
link(103,107) :- #0.731.
link(107,103) :- #0.481.
link(103,111) :- #0.166.
link(111,103) :- #0.935.
link(103,117) :- #0.825.
link(117,103) :- #0.003.
link(104,108) :- #0.312.
link(108,104) :- #0.385.
link(104,110) :- #0.285.
link(110,104) :- #0.235.
link(104,114) :- #0.519.
link(114,104) :- #0.241.
link(104,129) :- #0.423.
link(129,104) :- #0.021.
link(105,110) :- #0.666.
link(110,105) :- #0.327.
link(105,127) :- #0.272.
link(127,105) :- #0.892.
link(105,128) :- #0.66.
link(128,105) :- #0.304.
link(105,129) :- #0.669.
link(129,105) :- #0.076.
link(105,130) :- #0.412.
link(130,105) :- #0.222.
link(106,110) :- #0.268.
link(110,106) :- #0.86.
link(106,116) :- #0.017.
link(116,106) :- #0.125.
link(107,110) :- #0.091.
link(110,107) :- #0.254.
link(107,116) :- #0.286.
link(116,107) :- #0.448.
link(107,121) :- #0.979.
link(121,107) :- #0.375.
link(107,122) :- #0.938.
link(122,107) :- #0.495.
link(110,122) :- #0.347.
link(122,110) :- #0.732.
link(110,126) :- #0.082.
link(126,110) :- #0.369.
link(111,120) :- #0.673.
link(120,111) :- #0.299.
link(111,121) :- #0.571.
link(121,111) :- #0.336.
link(112,116) :- #0.924.
link(116,112) :- #0.671.
link(113,119) :- #0.436.
link(119,113) :- #0.521.
link(113,128) :- #0.232.
link(128,113) :- #0.182.
link(114,117) :- #0.659.
link(117,114) :- #0.077.
link(114,123) :- #0.822.
link(123,114) :- #0.706.
link(115,128) :- #0.705.
link(128,115) :- #0.901.
link(115,130) :- #0.857.
link(130,115) :- #0.145.
link(116,120) :- #0.353.
link(120,116) :- #0.577.
link(117,128) :- #0.173.
link(128,117) :- #0.738.
link(118,130) :- #0.851.
link(130,118) :- #0.426.
link(119,126) :- #0.228.
link(126,119) :- #0.275.
link(119,127) :- #0.215.
link(127,119) :- #0.39.
link(121,122) :- #0.918.
link(122,121) :- #0.695.
link(122,124) :- #0.773.
link(124,122) :- #0.349.
link(122,125) :- #0.61.
link(125,122) :- #0.246.
link(122,128) :- #0.732.
link(128,122) :- #0.508.
link(129,130) :- #0.157.
link(130,129) :- #0.181.
colour(red0).
colour(green0).
colour(blue0).
colour(yellow0).
colour(cyan0).
